Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
Showing results for ISSN matching 1529-3785

On the proof complexity of deep inference

JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (EP/E042805/1)

Authors: Paola Bruscoli | Alessio Guglielmi

https://doi.org/10.1145/1462179.1462186 Actions

Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics

JOURNAL ARTICLE published 30 April 2022 in ACM Transactions on Computational Logic

Research funded by DFG (SCHR 1118/6-2)

Authors: Clemens Kupke | Dirk Pattinson | Lutz Schröder

https://doi.org/10.1145/3501300 Actions

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols

JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic

Authors: Marco Calautti | Sergio Greco | Irina Trubitsyna

https://doi.org/10.1145/3143804 Actions

Partial-Observation Stochastic Games

JOURNAL ARTICLE published April 2014 in ACM Transactions on Computational Logic

Research funded by European Research Council ((279307: Graph Games)) | Austrian Science Fund (P 23499-N23,S11407-N23 (RiSE))

Authors: Krishnendu Chatterjee | Laurent Doyen

https://doi.org/10.1145/2579821 Actions

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation

JOURNAL ARTICLE published 31 July 2019 in ACM Transactions on Computational Logic

Authors: Gaetano Geck | Bas Ketsman | Frank Neven | Thomas Schwentick

https://doi.org/10.1145/3329120 Actions

Propositional Update Operators Based on Formula/Literal Dependence

JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic

Authors: Andreas Herzig | Jerome Lang | Pierre Marquis

https://doi.org/10.1145/2499937.2499945 Actions

Convolution as a Unifying Concept

JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic

Research funded by EPSRC (EP/J003727/1) | Australian Research Council (DP130102901)

Authors: Brijesh Dongol | Ian J. Hayes | Georg Struth

https://doi.org/10.1145/2874773 Actions

From Small Space to Small Width in Resolution

JOURNAL ARTICLE published 19 November 2015 in ACM Transactions on Computational Logic

Authors: Yuval Filmus | Massimo Lauria | Mladen Mikša | Jakob Nordström | Marc Vinyals

https://doi.org/10.1145/2746339 Actions

JOURNAL ISSUE published 1 February 2014 in ACM Transactions on Computational Logic

https://doi.org/10.1145/2590829 Actions

Topological incompleteness and order incompleteness of the lambda calculus

JOURNAL ARTICLE published July 2003 in ACM Transactions on Computational Logic

Authors: Antonino Salibra

https://doi.org/10.1145/772062.772067 Actions

Reasoning with recursive loops under the PLP framework

JOURNAL ARTICLE published August 2008 in ACM Transactions on Computational Logic

Research funded by National Natural Science Foundation of China (6.07E+31)

Authors: Yi-Dong Shen

https://doi.org/10.1145/1380572.1380576 Actions

Flat and one-variable clauses

JOURNAL ARTICLE published August 2008 in ACM Transactions on Computational Logic

Authors: Helmut Seidl | Kumar Neeraj Verma

https://doi.org/10.1145/1380572.1380577 Actions

Probabilistic abstraction for model checking

JOURNAL ARTICLE published August 2007 in ACM Transactions on Computational Logic

Authors: Sophie Laplante | Richard Lassaigne | Frédéric Magniez | Sylvain Peyronnet | Michel de Rougemont

https://doi.org/10.1145/1276920.1276922 Actions

Recycling computed answers in rewrite systems for abduction

JOURNAL ARTICLE published April 2007 in ACM Transactions on Computational Logic

Authors: Fangzhen Lin | Jia-Huai You

https://doi.org/10.1145/1227839.1227841 Actions

Symbolic semantic rules for producing compact STGLAs from value passing process descriptions

JOURNAL ARTICLE published July 2004 in ACM Transactions on Computational Logic

Authors: Marco Bernardo

https://doi.org/10.1145/1013560.1013563 Actions

A theory of normed simulations

JOURNAL ARTICLE published October 2004 in ACM Transactions on Computational Logic

Authors: David Griffioen | Frits Vaandrager

https://doi.org/10.1145/1024922.1024923 Actions

A computational theory of normative positions

JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic

Authors: Marek Sergot

https://doi.org/10.1145/383779.383786 Actions

Complexity results on DPLL and resolution

JOURNAL ARTICLE published January 2006 in ACM Transactions on Computational Logic

Authors: Paolo Liberatore

https://doi.org/10.1145/1119439.1119442 Actions

A Model for Phase Transition of Random Answer-Set Programs

JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic

Research funded by HKRGC (GRF 616013) | Australian Research Council (DP110101042 and DP130102302) | China National 973 Program and NSFC (2014CB340301 and 61379043)

Authors: Lian Wen | Kewen Wang | Yi-Dong Shen | Fangzhen Lin

https://doi.org/10.1145/2926791 Actions

Finite state machines for strings over infinite alphabets

JOURNAL ARTICLE published July 2004 in ACM Transactions on Computational Logic

Authors: Frank Neven | Thomas Schwentick | Victor Vianu

https://doi.org/10.1145/1013560.1013562 Actions
Feedback: support@crossref.org